The Free On-line Dictionary of Computing (30 December 2018):

distributive lattice

    A lattice for which the least upper bound (lub)
   and greatest lower bound (glb) operators distribute over one
   another so that

   	a lub (b glb c) == (a lub c) glb (a lub b)

   and vice versa.

   ("lub" and "glb" are written in LateX as \sqcup and
   \sqcap).

   (1998-11-09)